
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script>
<script src="https://code.jquery.com/jquery-migrate-1.2.1.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js"></script>
<script src="{{ site.baseurl }}/static/js/thickbox-compressed.js"></script>
<script src="{{ site.baseurl }}/static/js/material.min.js"></script>
<script src="{{ site.baseurl }}/static/js/main.js"></script>
<script src="{{ site.baseurl }}/static/js/projects.js"></script>
<script src="{{ site.baseurl }}/static/js/toc.js"></script>
<script>
  // 判断非本机且未使用 https 时，强制重定向到 https。
  if ((!window.location.host.startsWith("localhost")) && (window.location.protocol != "https:"))
    window.location = window.location.toString().replace(/^http:/, "https:");
</script>

   <script type="text/javascript">
                  $(document).ready(function() {
                      $('#toc').toc();
                  });
    </script>